This paper looks at the impact of the Business & Society Course on student's attitude towards and awareness of both ethical and illegal behavior. Business students were surveyed on the first and last day of the semesters on 11 ethical and legal scenarios. The population included three sections of the Business and Society course and three sections of other business courses as a control group. Though generalizability is limited, the courses show some potential to positively impact student's attitudes.Currently, ethics is (...) of great concern at business schools in this country. Accreditation standards of both the AACSB and ACBSP both require an ethical component to a business curriculum as a condition of accreditation. A majority of business schools at both the undergraduate and graduate level have required or at least elective courses in ethics. (shrink)

This article analyzes the impact of the rights-oriented business ethics course on student's ethical orientation. This approach, which is predominant in business schools, excludes the care-oriented approach used by a majority of women as well as some men and minorities. The results of this study showed that although students did not shift significantly in their ethical orientation, a majority of the men and an even greater majority of the women were care-oriented before and after a course in business ethics. If (...) business schools are to address society's increasing diversity then the perspective of women and others who are care-oriented must be assimilated into the curriculum. This can only be done by rethinking how the business ethics course (and the entire business curriculum) are taught to include a care-oriented approach. (shrink)

Recent allegations of unethical decision-making by leaders in prominent business organizations have jeopardized the world's confidence in American business. The purpose of this research was to develop a measure of managerial moral judgment that can be used in future research and managerial assessment. The measure was patterned after the Defining Issues Test, a widely used general measure of moral judgment. With content validity as the goal, we aimed to sample the domain of managerial ethical situations by establishing links to dimensions (...) of managerial performance, as well as to the types of organizational justice issues managers encounter. Proposed scenarios were evaluated for realism by ethics officers and human resource managers. Results indicated that the new measure is reliable and correlates with a number of relevant variables in the hypothesized manner, demonstrating evidence of construct validity. Implications for future research and for human resources management are discussed. (shrink)

In Entailment, Anderson and Belnap motivated their modification E of Ackermann’s strenge Implikation Π Π’ as a logic of relevance and necessity. The kindred system R was seen as relevant but not as modal. Our systems of Peano arithmetic R# and omega arithmetic R## were based on R to avoid fallacies of relevance. But problems arose as to which arithmetic sentences were (relevantly) true. Here we base analogous systems on E to solve those problems. Central to motivating E is the (...) rejection of fallacies of modality. Our slogan here for this is, “No diamonds entail any boxes.” Form the strenge Peano arithmetic E# like R#, adding appropriate forms of the Peano axioms to Ackermann’s E.. (shrink)

Michael A. Petersa and Fazal Rizvib aBeijing Normal University, Beijing, PR China; bMelbourne University, Melbourne, Australia Our minds are still racing back and forth, longing for a return to ‘no...

Next SectionObjectives To evaluate the adequacy of paediatric informed consent and its augmentation by a supplemental computer-based module in paediatric endoscopy. Methods The Consent-20 instrument was developed and piloted on 47 subjects. Subsequently, parents of 101 children undergoing first-time, diagnostic upper endoscopy performed under moderate IV sedation were prospectively and consecutively, blinded, randomised and enrolled into two groups that received either standard form-based informed consent or standard form-based informed consent plus a commercial (Emmi Solutions, Inc, Chicago, Il), sixth grade level, (...) interactive learning module (electronic assisted consent). Anonymously and electronically, the subjects' anxiety (State Trait Anxiety Inventory), satisfaction (Modified Group Health Association of America), number of questions asked, and attainment of informed consent were assessed (Consent-20). Statistics were calculated using t test, paired t test, and Mann Whitney tests. Results The ability to achieve informed consent, as measured by the new instrument, was 10% in the control form-based consent group and 33% in the electronic assisted consent group (p<0.0001). Electronically assisting form-based informed consent did not alter secondary outcome measures of subject satisfaction, anxiety or number of questions asked in a paediatric endoscopy unit. Conclusions This study demonstrates the limitations of form-based informed consent methods for paediatric endoscopy. It also shows that even when necessary information was repeated electronically in a comprehensive and standardised video, informed consent as measured by our instrument was incompletely achieved. The supplemental information did, however, significantly improve understanding in a manner that did not negatively impact workflow, subject anxiety or subject satisfaction. Additional study of informed consent is required. Clinical trial registration number ClinicalTrials.gov Identifier NCT00899392. (shrink)

The ethical culture of any organization is not simply a reflection of its mission statement or even its code of conduct. Rather, the real ethics of institutions are often embedded in their reward systems. We suggest how ethics professors can lead students to develop a greater understanding of rewards by providing a review of various forms of organizational rewards. We also offer insights into how professors can compare reward systems in their classes. We conclude by addressing a number of pedagogical (...) approaches that are useful in equipping ethics students with awareness and understanding of reward systems’ power and influence on employee attitudes and behaviors surrounding ethical decision making. (shrink)

One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...) a general conception of conditionality that may unify the three given conceptions. (shrink)

We estimate that 208,000 deep brain stimulation (DBS) devices have been implanted to address neurological and neuropsychiatric disorders worldwide. DBS Think Tank presenters pooled data and determined that DBS expanded in its scope and has been applied to multiple brain disorders in an effort to modulate neural circuitry. The DBS Think Tank was founded in 2012 providing a space where clinicians, engineers, researchers from industry and academia discuss current and emerging DBS technologies and logistical and ethical issues facing the field. (...) The emphasis is on cutting edge research and collaboration aimed to advance the DBS field. The Eighth Annual DBS Think Tank was held virtually on September 1 and 2, 2020 (Zoom Video Communications) due to restrictions related to the COVID-19 pandemic. The meeting focused on advances in: (1) optogenetics as a tool for comprehending neurobiology of diseases and on optogenetically-inspired DBS, (2) cutting edge of emerging DBS technologies, (3) ethical issues affecting DBS research and access to care, (4) neuromodulatory approaches for depression, (5) advancing novel hardware, software and imaging methodologies, (6) use of neurophysiological signals in adaptive neurostimulation, and (7) use of more advanced technologies to improve DBS clinical outcomes. There were 178 attendees who participated in a DBS Think Tank survey, which revealed the expansion of DBS into several indications such as obesity, post-traumatic stress disorder, addiction and Alzheimer’s disease. This proceedings summarizes the advances discussed at the Eighth Annual DBS Think Tank. (shrink)

Machine generated contents note: -- Series Editors' PrefaceAcknowledgementsNotes on ContributorsHow Things Are Elsewhere; W. Schwarz Information Change and First-Order Dynamic Logic; B.Kooi Interpreting and Applying Proof Theories for Modal Logic; F.Poggiolesi & G.Restall The Logic(s) of Modal Knowledge; D.Cohnitz On Probabilistically Closed Languages; H.Leitgeb Dogmatism, Probability and Logical Uncertainty; B.Weatherson & D.Jehle Skepticism about Reasoning; S.Roush, K.Allen & I.HerbertLessons in Philosophy of Logic from Medieval Obligations; C.D.Novaes How to Rule Out Things with Words: Strong Paraconsistency and the Algebra of Exclusion; (...) F.Berto Lessons from the Logic of Demonstratives; G.RussellThe Multitude View on Logic; M.Eklund Index. (shrink)

We extend the Theory of Planned Behavior (TPB) for ethics in the workplace. Using a path modeling methodology, we find evidence that, for ethics, moral disengagement is an antecedent to the TPB predictors of attitude, subjective norms, and perceived behavioral control (PBC). We show that the TPB predictors mediate the influence moral disengagement has on ethical behavioral intentions. Thus, to improve ethical behavior, reducing moral disengagement is critical. We find support for including both types of PBC (self-efficacy and locus of (...) control) when modeling ethical behavior. We use four ethics scenarios and international data to test this model. We also evaluate potential positive influences on ethics in the workplace and find that recency of ethics training interacts with religiosity and activates it to reduce moral disengagement. We also find that principles-based ethics training enhances professionals’ self-efficacy to behave ethically. Experience, including time as a member in a professional accounting organization, increases both locus of control and self-efficacy to behave ethically. These variables—recency of ethical training, religiosity, principles-based professional ethics training, and experience—influence parts of the core TPB model, which in turn lead to improved ethical behavioral intentions. (shrink)

Dr. Elliot argues that environmental protection and climate change issues would find a larger and more supportive audience if presented in less apocalyptical terms and more in a context in which mi...

Governmental organizations funding science m several nations are creating large research centers that draw on several disciplines and that focus research on an area of immediate use to industrial concerns. I analyze eight proposals for a U.K. center devoted to human communication. I argue that the boundaries that such a center seeks to cross— between areas of knowledge, between disciplines, between academic and nonacademic research—are constructed in the proposals for strategic purposes m the immediate situations. The study supports other recent (...) work on the crucial role of texts as interme diaries in the science policy processes, and on the need to recognize the unexpected contingencies and unintended consequences of textual circulation. (shrink)

The miniseries Frank Herbert’s Dune (2000) and Frank Herbert’s Children of Dune (2003) offer a stark warning that people must think for themselves rather than relying on authority. In particular, they warn against overreliance on leaders and on religious authorities. The series tell the story of how, in the far future, Paul Atreides becomes dictator and religious leader over the human race, bringing slaughter and oppression in his wake. The chapter will consider the views of philosophers like Plato, who believed (...) that power should be concentrated in the hands of leaders with absolute authority, along with the views of philosophers who advocated democracy, like John Locke, John Stuart Mill, and John Dewey. The chapter will also examine the views of philosophers on religion, especially philosophers critical of religion, such as Locke, Thomas Paine, and Bertrand Russell. It is argued that the series present a strong case against allowing others to think for us, because the story they tell matches the historical record of the real world. When leaders have been given the power to be arbiters of truth, they have too often exploited those beneath them, using their positions to accumulate wealth, power, and glory. When too much trust has been placed in religious authority, it has likewise too often led to exploitation and repression. What is worse, the power of religion is uncontrollable, easily leading to violence and destruction. Having said that, the series fail to reflect that religion does good in the world. This chapter argues that, as maintained by W. K. Clifford, whether people should accept religious views depends on whether they have good grounds to believe that these views are true. This implies that people must not accept religious views without thinking the views through for themselves. (shrink)

We show that every dominating analytic set in the Baire space has a dominating closed subset. This improves a theorem of Spinas [15] saying that every dominating analytic set contains the branches of a uniform tree, i.e. a superperfect tree with the property that for every splitnode all the successor splitnodes have the same length. In [15], a subset of the Baire space is called u-regular if either it is not dominating or it contains the branches of a uniform tree, (...) and it was proved that Σ21-Kσ-regularity implies Σ21-u-regularity. Here we show that these properties are in fact equivalent. Since the proof of analytic u-regularity uses a game argument it was clear that determinacy implies u-regularity of all sets. Here we show that an inaccessible cardinal is enough to construct a model for projective u-regularity, namely it holds in Solovay's model. Finally we show that forcing with uniform trees is equivalent to Laver forcing. (shrink)

Pike, Gregory K On May the 10th this year, the Director of Southern Cross Bioethics Institute, Dr Greg Pike, was invited to participate in a public debate organised by the St James Ethics Centre in Sydney, as part of their IQ2 series of debates. The subject of this debate was "All drugs should be legalised", and Dr Pike spoke against the motion. The debate was aired on ABC radio national and televised on ABC2. The transcript of his address follows (...) - the main talk was followed by a brief additional section titled "Drugs and Human Rights". (shrink)

This commentary on “Her Own Decision: Impairment and Authenticity in Adolescence” by Campbell, Derrington, Hester, and Lew adds further consideration of obligations for guardians and physicians of minors who struggle in making serious decisions regarding medical treatment.

“The ‘fallacy of composition’ that drives a felicitous wedge between micro and macro, between the individual and the aggregate, and gives rise to emergent phenomena in economics, non-algorithmic ways – as conjectured originally by John Stuart Mill…, George Herbert Lewes … , and codified by Lloyd Morgan … in his popular Gifford Lectures - may yet be tamed by unconventional models of computation.” --K. Vela Velupillai (2008, p. 21).

Paraconsistent logics are often semantically motivated by considering "impossible worlds." Lewis, in "Logic for equivocators," has shown how we can understand paraconsistent logics by attributing equivocation of meanings to inconsistent believers. In this paper I show that we can understand paraconsistent logics without attributing such equivocation. Impossible worlds are simply sets of possible worlds, and inconsistent believers (inconsistently) believe that things are like each of the worlds in the set. I show that this account gives a sound and complete semantics (...) for Priest's paraconsistent logic LP, which uses materials any modal logician has at hand. (shrink)

Beall and Restall’s Logical Pluralism (2006) characterises pluralism about logical consequence in terms of the different ways cases can be selected in the analysis of logical consequence as preservation of truth over a class of cases. This is not the only way to understand or to motivate pluralism about logical consequence. Here, I will examine pluralism about logical consequence in terms of different standards of proof. We will focus on sequent derivations for classical logic, imposing two different restrictions on classical (...) derivations to produce derivations for intuitionistic logic and for dual intuitionistic logic. The result is another way to understand the manner in which we can have different consequence relations in the same language. Furthermore, the proof-theoretic perspective gives us a different explanation of how the one concept of negation can have three different truth conditions, those in classical, intuitionistic and dual-intuitionistic models. (shrink)

The two-dimensional modal logic of Davies and Humberstone [3] is an important aid to our understanding the relationship between actuality, necessity and a priori knowability. I show how a cut-free hypersequent calculus for 2D modal logic not only captures the logic precisely, but may be used to address issues in the epistemology and metaphysics of our modal concepts. I will explain how the use of our concepts motivates the inference rules of the sequent calculus, and then show that the completeness (...) of the calculus for Davies–Humberstone models explains why those concepts have the structure described by those models. The result is yet another application of the completeness theorem. (shrink)

A logic is said to be contraction free if the rule from A→(A→B) to A→B is not truth preserving. It is well known that a logic has to be contraction free for it to support a non-trivial naïve theory of sets or of truth. What is not so well known is that if there is another contracting implication expressible in the language, the logic still cannot support such a naïve theory. A logic is said to be robustly contraction free if (...) there is no such operator expressible in its language. We show that a large class of finitely valued logics are each not robustly contraction free, and demonstrate that some other contraction free logics fail to be robustly contraction free. Finally, the sublogics of Łω (with the standard connectives) are shown to be robustly contraction free. (shrink)

This paper continues the work of Priest and Sylvan in Simplified Semantics for Basic Relevant Logics, a paper on the simplified semantics of relevant logics, such as B⁺ and B. We show that the simplified semantics can also be used for a large number of extensions of the positive base logic B⁺, and then add the dualising '*' operator to model negation. This semantics is then used to give conservative extension results for Boolean negation.

_Philosophy Through Science Fiction_ offers a fun, challenging, and accessible way in to the issues of philosophy through the genre of science fiction. Tackling problems such as the possibility of time travel, or what makes someone the same person over time, the authors take a four-pronged approach to each issue, providing · a clear and concise introduction to each subject · a science fiction story that exemplifies a feature of the philosophical discussion · historical and contemporary philosophical texts that investigate (...) the issue with rigor, and · glossary, plot profiles of pertinent science fiction stories and films, and questions for further reflection. _Philosophy Through Science Fiction_ includes stories from contemporary science fiction writers including Greg Egan and Mike Resnick, as well as from classic authors like Philip K. Dick and Robert Heinlein. Philosophy readings include historical pieces by René Descartes and David Hume, and contemporary pieces by John Searle and Mary Midgley. (shrink)

In this paper we introduce a new natural deduction system for the logic of lattices, and a number of extensions of lattice logic with different negation connectives. We provide the class of natural deduction proofs with both a standard inductive definition and a global graph-theoretical criterion for correctness, and we show how normalisation in this system corresponds to cut elimination in the sequent calculus for lattice logic. This natural deduction system is inspired both by Shoesmith and Smiley's multiple conclusion systems (...) for classical logic and Girard's proofnets for linear logic. (shrink)

Different natural deduction proof systems for intuitionistic and classical logic —and related logical systems—differ in fundamental properties while sharing significant family resemblances. These differences become quite stark when it comes to the structural rules of contraction and weakening. In this paper, I show how Gentzen and Jaśkowski’s natural deduction systems differ in fine structure. I also motivate directed proof nets as another natural deduction system which shares some of the design features of Genzen and Jaśkowski’s systems, but which differs again (...) in its treatment of the structural rules, and has a range of virtues absent from traditional natural deduction systems. (shrink)

Once the Kripke semantics for normal modal logics were introduced, a whole family of modal logics other than the Lewis systems S1 to S5 were discovered. These logics were obtained by changing the semantics in natural ways. The same can be said of the Kripke-style semantics for relevant logics: a whole range of logics other than the standard systems R, E and T were unearthed once a semantics was given (cf. Priest and Sylvan [6], Restall [7], and Routley et al. (...) [8]). In a similar way, weakening the structural rules of the Gentzen formulation of classical logic gives rise to other ‘substructural’ logics such as linear logic (as in Girard [4]). This process of ‘strategic weakening’ is becoming popular today, with the discovery of applications of these logics to areas such as linguistics and the theory of computation (cf. van Benthem [1]). Until now no-one has (to my knowledge) examined what the process of weakening does to the Kripke-style semantics of intuitionistic logic. This paper remedies the deficiency, introducing the family of subintuitionistic logics. These systems have some appealing features. Unlike other substructural logics such as linear logic (which lack distribution of extensional disjunction over conjunction) they have a very natural Kripke-style worlds semantics. Also, the difficulties with regard to modelling quantification in these systems may be able to shed some light on the difficulties in naturally modelling quantification in relevant logics, as it must be admitted that the semantics currently available for quantified relevant logics are rather baroque (cf. Fine [3]). But most importantly, delving in the undergrowth of logics such as intuitionistic logic gives us a ‘feel’ for how such systems are put together, and what job is being done by each aspect of the modelling conditions in.. (shrink)

Mark Balaguer's Platonism and Anti-Platonism in Mathematics presents an intriguing new brand of platonism, which he calls plenitudinous platonism, or more colourfully, full-blooded platonism. In this paper, I argue that Balaguer's attempts to characterise full-blooded platonism fail. They are either too strong, with untoward consequences we all reject, or too weak, not providing a distinctive brand of platonism strong enough to do the work Balaguer requires of it.

Propositional logic -- Propositions and arguments -- Connectives and argument forms -- Truth tables -- Trees -- Vagueness and bivalence -- Conditionality -- Natural deduction -- Predicate logic -- Predicates, names, and quantifiers -- Models for predicate logic -- Trees for predicate logic -- Identity and functions -- Definite descriptions -- Some things do not exist -- What is a predicate? -- What is logic?

Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion natural deduction proof system in which the connective rules are unmodi_ed from the usual Prawitz introduction and elimination rules — the extension is purely structural. This framework is general: it can be used for (1) classical logic, (2) relevant logic without distribution, (3) affine logic, and (4) linear logic, keeping the connective rules fixed, and varying purely (...) structural rules. The key result of this paper is that the two principles that introduce kinds of irrelevance to natural deduction proofs: (a) the rule of explosion (from a contradiction, anything follows); and (b) the structural rule of vacuous discharge; are shown to be two sides of a single coin, in the same way that they correspond to the structural rule of weakening in the sequent calculus. The paper also includes a discussion of assumption classes, and how they can play a role in treating additive connectives in substructural natural deduction. (shrink)

Formal systems seem to come in two general kinds: useful and useless. This is painting things starkly, but the point is important. Formal structures can either be used in interesting and important ways, or they can languish unused and irrelevant. Lewis' modal logics are good examples. The systems S4 and S5 are useful in many different ways. They map out structures that are relevant to a number of different applications. S1, S2 and S3 however, are not so lucky. They are (...) little studied, and used even less. It has become dear that the structures described by S4 and S5 are important in different ways, while the structures described by S1 to S3 are not so important. In this paper, we will see another formal system with a number of different uses. We will examine a substructural logic which is important in a number of different ways. The logic of Peirce monoids, inspired by the logic of relations, is useful in the independent areas of linguistic types and information flow.In what follows I will describe the logic of Peirce monoids in its various guises, sketch out its main properties, and indicate why it is important. As proofs of theorems are readily available elsewhere in the literature, I simply sketch the relevant proofs here, and point the interested reader to where complete proofs can be found. (shrink)

Stephen Neale presents, in Facing Facts (Oxford: Clarendon Press, 2001), one convenient package containing his reasoned complaints against theories of facts and non-extensional connectives. The slingshot is a powerful argument (or better, it is a powerful family of arguments) which constrains theories of facts, propositions and non-extensional connectives by showing that some of these theories are rendered trivial. This book is the best place to find the state of the art on the slingshot and its implications for logic, language and (...) metaphysics. It provides a useful starting point for anyone who has wondered what all of the fuss about the slingshot amounts to. Neale shows that the fuss does amount to something, and that theories of facts must “face facts” and present an adequate response to the slingshot. However, Neale’s evaluation of the state of play for theories of facts is too pessimistic. As the book draws near to a close, Neale writes: As I have stressed, Russell’s Theory of Facts, according to which facts have properties as components, is safe. It is certainly tempting to draw the moral that if one wants non-collapsing facts one needs properties as components of facts. I have not attempted to prove this here, but I suspect it will be proved in due course. (page 210) Neale concludes that while theories which take facts to be structured entities are safe from slingshot arguments, and he suspects that this is the only kind of fact theory safe from slingshot-style collapse. If this were the case, then theories such as situation theories or accounts of truthmakers may well be threatened. However, Neale’s suspicion is ill-founded, as I shall soon show. Not only do Russellian theories of facts survive the slingshot unscathed, but so can theories of facts which take them to be unstructured entities. Furthermore, the way that this may be not only argued for, but proved can provide a new weapon in the armoury of the theorist investigating fact theories. (shrink)

When we read On the Origin of Species, we cannot help but hear echoes of the Wealth of Nations. Darwin’s “economy of nature” features a “division of labour” that leads to complexity and productivity. We should not, however, analyze Darwin’s ethics through this lens. Darwin did not draw his economic ideas from Smith, nor did he base his ethics on an economic foundation. Darwin’s ethics rest on Smith’s notion—from the Theory of Moral Sentiments—of an innate human faculty of sympathy. Darwin (...) gave this notion an evolutionary interpretation, concluding that any species of social animals that develops a high enough level of intelligence will evolve moral principles. But the specific moral principles evolved by any particular species will vary, depending on that species’ particular evolutionary history. Darwin’s theory of moral sentiments thus diverged profoundly from Smith’s, while remaining in the same intellectual lineage. Although my reading of Darwin’s ethics departs from the dominant trend, it is not without precedent. A century ago, William James propounded a similar interpretation of Darwin. James’s interpretation has been largely forgotten, but he had Darwin right. It seems that James then developed his own moral philosophy on what he saw as a Darwinian foundation. It may be that James read Darwin’s evolutionary ethics through a pragmatic lens and so refashioned it, in his turn, into something again profoundly different from what Darwin had conceived, but again remaining in the same intellectual lineage. (shrink)

Graham Priest defends the use of a nonmonotonic logic, LPm, in his analysis of reasoning in the face of true contradictions, such as those arising from the paradoxes of self-reference. In the course of defending this choice of logic in the face of the criticism that this logic is not truth preserving, Priest argued that requirement is too much to ask: since LPm is a nonmonotonic logic, it necessarily fails to preserve truth. In this article, I show that this assumption (...) is incorrect, and I explain why nonmonotonic logics can nonetheless be truth preserving. Finally, I diagnose Priest's error, to explain when nonmonotonic logics do indeed fail to preserve truth. (shrink)

In this paper, I examine connections between the speech acts of assertion, denial, polar questions and justification requests, and the common ground. When we pay attention to the structure of norms governing polar questions, we can clarify the distinction between strong and weak denial, together with the parallel distinction between strong and weak assertion, and the distinct way that these speech acts interact with the common ground. In addition, once we pay attention to the distinct norms concerning justification requests, we (...) can give a distinctive answer to Carroll’s puzzle concerning the force of the logical _must_ and the sense in which certain rules for logical concepts can indeed count as definitions. (shrink)

This note explains an error in Restall’s ‘Simplified Semantics for Relevant Logics (and some of their rivals)’ (Restall, J Philos Logic 22(5):481–511, 1993 ) concerning the modelling conditions for the axioms of assertion A → (( A → B ) → B ) (there called c 6) and permutation ( A → ( B → C )) → ( B → ( A → C )) (there called c 7). We show that the modelling conditions for assertion and permutation proposed (...) in ‘Simplified Semantics’ overgenerate. In fact, they overgenerate so badly that the proposed semantics for the relevant logic R validate the rule of disjunctive syllogism. The semantics provides for no models of R in which the “base point” is inconsistent. This problem is not restricted to ‘Simplified Semantics.’ The techniques of that paper are used in Graham Priest’s textbook An Introduction to Non-Classical Logic (Priest, 2001 ), which is in wide circulation: it is important to find a solution. In this article, we explain this result, diagnose the mistake in ‘Simplified Semantics’ and propose two different corrections. (shrink)